(* Content-type: application/vnd.wolfram.mathematica *)

(*** Wolfram Notebook File ***)
(* http://www.wolfram.com/nb *)

(* CreatedBy='Mathematica 10.4' *)

(*CacheID: 234*)
(* Internal cache information:
NotebookFileLineBreakTest
NotebookFileLineBreakTest
NotebookDataPosition[       158,          7]
NotebookDataLength[     31041,       1084]
NotebookOptionsPosition[     24056,        884]
NotebookOutlinePosition[     28225,        991]
CellTagsIndexPosition[     28095,        985]
WindowTitle->FeynAmpDenominatorSimplify
WindowFrame->Normal*)

(* Beginning of Notebook Content *)
Notebook[{
Cell[BoxData[GridBox[{
   {Cell["FEYN CALC SYMBOL", "PacletNameCell"], Cell[TextData[{
     Cell[BoxData[
      ActionMenuBox[
       FrameBox[
        InterpretationBox[Cell[TextData[{
          "See Also",
          StyleBox[" \[FilledDownTriangle]", "AnchorBarArrow",
           StripOnInput->False]
         }]],
         TextCell[
          Row[{"See Also", 
            Style[" \[FilledDownTriangle]", "AnchorBarArrow"]}]]],
        StripOnInput->False], {"\<\"TID\"\>":>Documentation`HelpLookup[
       "paclet:FeynCalc/ref/TID"]},
       Appearance->None,
       MenuAppearance->Automatic,
       MenuStyle->"SeeAlso"]],
      LineSpacing->{1.4, 0}],
     "\[ThickSpace]\[ThickSpace]\[ThickSpace]\[ThickSpace]\[ThickSpace]\
\[ThickSpace]",
     Cell[BoxData[
      ActionMenuBox[
       FrameBox[
        InterpretationBox[Cell[TextData[{
          "URL",
          StyleBox[" \[FilledDownTriangle]", "AnchorBarArrow",
           StripOnInput->False]
         }]],
         TextCell[
          Row[{"URL", 
            Style[" \[FilledDownTriangle]", "AnchorBarArrow"]}]]],
        StripOnInput->
         False], {"\<\"FeynCalc/ref/FeynAmpDenominatorSimplify\"\>":>
       None, "\<\"Copy Wolfram Documentation Center URL\"\>":>
       Module[{DocumentationSearch`Private`nb$}, 
        DocumentationSearch`Private`nb$ = NotebookPut[
           Notebook[{
             Cell["FeynCalc/ref/FeynAmpDenominatorSimplify"]}, Visible -> 
            False]]; SelectionMove[
         DocumentationSearch`Private`nb$, All, Notebook]; 
        FrontEndTokenExecute[DocumentationSearch`Private`nb$, "Copy"]; 
        NotebookClose[DocumentationSearch`Private`nb$]; Null], 
       Delimiter, "\<\"Copy web URL\"\>":>
       Module[{DocumentationSearch`Private`nb$}, 
        DocumentationSearch`Private`nb$ = NotebookPut[
           Notebook[{
             Cell[
              BoxData[
               MakeBoxes[
                Hyperlink[
                "http://reference.wolfram.com/language/FeynCalc/ref/\
FeynAmpDenominatorSimplify.html"], StandardForm]], "Input", TextClipboardType -> 
              "PlainText"]}, Visible -> False]]; 
        SelectionMove[DocumentationSearch`Private`nb$, All, Notebook]; 
        FrontEndTokenExecute[DocumentationSearch`Private`nb$, "Copy"]; 
        NotebookClose[DocumentationSearch`Private`nb$]; 
        Null], "\<\"Go to web URL\"\>":>FrontEndExecute[{
         NotebookLocate[{
           URL[
            StringJoin[
             If[
              TrueQ[DocumentationBuild`Make`Private`wsmlinkQ$132633], 
              "http://reference.wolfram.com/system-modeler/", 
              "http://reference.wolfram.com/language/"], 
             "FeynCalc/ref/FeynAmpDenominatorSimplify", ".html"]], None}]}]},
       Appearance->None,
       MenuAppearance->Automatic,
       MenuStyle->"URLMenu"]],
      LineSpacing->{1.4, 0}]
    }], "AnchorBar"]}
  }]], "AnchorBarGrid",
 GridBoxOptions->{GridBoxItemSize->{"Columns" -> {
     Scaled[0.65], {
      Scaled[0.34]}}, "ColumnsIndexed" -> {}, "Rows" -> {{1.}}, 
   "RowsIndexed" -> {}}},
 CellID->1],

Cell[TextData[{
 Cell["FeynAmpDenominatorSimplify", "ObjectName"],
 Cell[BoxData[
  InterpretationBox[
   StyleBox[
    GraphicsBox[{},
     BaselinePosition->Baseline,
     ImageSize->{8, 0}],
    CacheGraphics->False],
   Spacer[8]]]],
 Cell[BoxData[""], "ObjectNameTranslation"]
}], "ObjectNameGrid"],

Cell[CellGroupData[{

Cell[BoxData[GridBox[{
   {"", Cell[TextData[{
     Cell[BoxData[
      RowBox[{"FeynAmpDenominatorSimplify", "[", "exp", "]"}]], 
      "InlineFormula"],
     " \[LineSeparator]tries to simplify each PropagatorDenominator in a \
canonical way. FeynAmpDenominatorSimplify[exp, q1] simplifies all \
FeynAmpDenominator's in exp in a canonical way, including some translation of \
momenta. FeynAmpDenominatorSimplify[exp, q1, q2] additionally removes \
integrals with no mass scale."
    }]]}
  }]], "Usage",
 GridBoxOptions->{
 GridBoxBackground->{
  "Columns" -> {{None}}, "ColumnsIndexed" -> {}, "Rows" -> {{None}}, 
   "RowsIndexed" -> {}}},
 CellID->982511436],

Cell[CellGroupData[{

Cell[TextData[Cell[BoxData[
 ButtonBox[Cell[TextData[{
   Cell[BoxData[
    InterpretationBox[
     StyleBox[
      GraphicsBox[{},
       BaselinePosition->Baseline,
       ImageSize->{6, 0}],
      CacheGraphics->False],
     Spacer[6]]]],
   "Details"
  }], "NotesFrameText"],
  Appearance->{Automatic, None},
  BaseStyle->None,
  ButtonFunction:>(FrontEndExecute[{
     FrontEnd`SelectionMove[
      FrontEnd`SelectedNotebook[], All, ButtonCell], 
     FrontEndToken["OpenCloseGroup"], 
     FrontEnd`SelectionMove[
      FrontEnd`SelectedNotebook[], After, CellContents]}]& ),
  Evaluator->None,
  Method->"Preemptive"]]]], "NotesSection",
 WholeCellGroupOpener->True,
 CellGroupingRules->{"SectionGrouping", 50},
 CellID->2063312335],

Cell["", "SectionHeaderSpacer"],

Cell["FDS can be used as an alias.", "Notes",
 CellID->1067943069]
}, Closed]]
}, Open  ]],

Cell[CellGroupData[{

Cell[TextData[{
 Cell[BoxData[
  InterpretationBox[
   StyleBox[
    GraphicsBox[{},
     BaselinePosition->Baseline,
     ImageSize->{6, 0}],
    CacheGraphics->False],
   Spacer[6]]]],
 "Examples",
 "\[NonBreakingSpace]\[NonBreakingSpace]",
 Cell["(1)", "ExampleCount"]
}], "PrimaryExamplesSection",
 WholeCellGroupOpener->True,
 CellTags->"PrimaryExamplesSection",
 CellID->1112302457],

Cell[CellGroupData[{

Cell[TextData[{
 "Basic Examples",
 "\[NonBreakingSpace]\[NonBreakingSpace]",
 Cell["(1)", "ExampleCount"]
}], "ExampleSection", "ExampleSection",
 WholeCellGroupOpener->True,
 CellID->1414576502],

Cell[CellGroupData[{

Cell[BoxData["FDS"], "Input",
 CellTags->"FeynAmpDenominatorSimplify",
 CellLabel->"In[1]:=",
 CellID->792645925],

Cell[BoxData[
 FormBox["FeynAmpDenominatorSimplify", TraditionalForm]], "Output",
 ImageSize->{179, 16},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"FeynAmpDenominatorSimplify",
 CellLabel->"Out[1]="]
}, Open  ]],

Cell[TextData[{
 "The cornerstone of dimensional regularization is that ",
 Cell[BoxData[
  FormBox[
   RowBox[{
    RowBox[{"\[Integral]", 
     RowBox[{
      SuperscriptBox["d", "n"], "k", " ", 
      RowBox[{
       RowBox[{"f", "(", "k", ")"}], "/", 
       SuperscriptBox["k", 
        RowBox[{"2", "m"}]]}]}]}], "=", " ", 
    RowBox[{"0", " ", "."}]}], TraditionalForm]]]
}], "Notes"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"FeynAmpDenominatorSimplify", "[", 
  RowBox[{
   RowBox[{
    RowBox[{"f", "[", "k", "]"}], " ", 
    RowBox[{"FAD", "[", 
     RowBox[{"k", ",", "k"}], "]"}]}], ",", "k"}], "]"}]], "Input",
 CellTags->"FeynAmpDenominatorSimplify",
 CellLabel->"In[2]:=",
 CellID->50583569],

Cell[BoxData[
 FormBox["0", TraditionalForm]], "Output",
 ImageSize->{13, 14},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"FeynAmpDenominatorSimplify",
 CellLabel->"Out[2]="]
}, Open  ]],

Cell[TextData[{
 "This brings ",
 Cell[BoxData[
  FormBox[
   RowBox[{"1", "/", 
    RowBox[{"(", 
     RowBox[{
      SuperscriptBox[
       RowBox[{"(", 
        RowBox[{"k", "-", 
         SubscriptBox["p", "1"]}], ")"}], "2"], " ", 
      SuperscriptBox[
       RowBox[{"(", 
        RowBox[{"k", "-", 
         SubscriptBox["p", "2"]}], ")"}], "2"]}], ")"}]}], 
   TraditionalForm]]],
 " into a standard form."
}], "Notes"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"FeynAmpDenominatorSimplify", "[", 
  RowBox[{
   RowBox[{"FAD", "[", 
    RowBox[{
     RowBox[{"k", "-", 
      SubscriptBox["p", "1"]}], ",", 
     RowBox[{"k", "-", 
      SubscriptBox["p", "2"]}]}], "]"}], ",", "k"}], "]"}]], "Input",
 CellTags->"FeynAmpDenominatorSimplify",
 CellLabel->"In[3]:=",
 CellID->1115628449],

Cell[BoxData[
 FormBox[
  FractionBox["1", 
   RowBox[{
    InterpretationBox[
     SuperscriptBox[
      FormBox[
       FormBox["k",
        TraditionalForm],
       TraditionalForm], "2"],
     SequenceForm[
      FeynCalc`Pair[
       FeynCalc`Momentum[$CellContext`k, D], 
       FeynCalc`Momentum[$CellContext`k, D]]],
     Editable->False], ".", 
    InterpretationBox[
     SuperscriptBox[
      RowBox[{
       FormBox["\<\"(\"\>",
        TraditionalForm], 
       FormBox[
        FormBox[
         RowBox[{
          FormBox["k",
           TraditionalForm], "-", 
          SubscriptBox[
           FormBox[
            FormBox["p",
             TraditionalForm],
            TraditionalForm], 
           FormBox["1",
            TraditionalForm]], "+", 
          SubscriptBox[
           FormBox[
            FormBox["p",
             TraditionalForm],
            TraditionalForm], 
           FormBox["2",
            TraditionalForm]]}],
         TraditionalForm],
        TraditionalForm], 
       FormBox["\<\")\"\>",
        TraditionalForm]}], "2"],
     SequenceForm[
      FeynCalc`Pair[FeynCalc`Momentum[$CellContext`k, D] - FeynCalc`Momentum[
        Subscript[$CellContext`p, 1], D] + FeynCalc`Momentum[
         Subscript[$CellContext`p, 2], D], 
       FeynCalc`Momentum[$CellContext`k, D] - FeynCalc`Momentum[
        Subscript[$CellContext`p, 1], D] + FeynCalc`Momentum[
         Subscript[$CellContext`p, 2], D]]],
     Editable->False]}]], TraditionalForm]], "Output",
 ImageSize->{136, 41},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"FeynAmpDenominatorSimplify",
 CellLabel->"Out[3]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"FeynAmpDenominatorSimplify", "[", 
  RowBox[{
   RowBox[{"FAD", "[", 
    RowBox[{"k", ",", "k", ",", 
     RowBox[{"k", "-", "q"}]}], "]"}], ",", "k"}], "]"}]], "Input",
 CellTags->"FeynAmpDenominatorSimplify",
 CellLabel->"In[4]:=",
 CellID->1440416368],

Cell[BoxData[
 FormBox[
  FractionBox["1", 
   RowBox[{
    SuperscriptBox[
     RowBox[{"(", 
      InterpretationBox[
       SuperscriptBox[
        FormBox[
         FormBox["k",
          TraditionalForm],
         TraditionalForm], "2"],
       SequenceForm[
        FeynCalc`Pair[
         FeynCalc`Momentum[$CellContext`k, D], 
         FeynCalc`Momentum[$CellContext`k, D]]],
       Editable->False], ")"}], "2"], ".", 
    InterpretationBox[
     SuperscriptBox[
      RowBox[{
       FormBox["\<\"(\"\>",
        TraditionalForm], 
       FormBox[
        FormBox[
         RowBox[{
          FormBox["k",
           TraditionalForm], "-", 
          FormBox["q",
           TraditionalForm]}],
         TraditionalForm],
        TraditionalForm], 
       FormBox["\<\")\"\>",
        TraditionalForm]}], "2"],
     SequenceForm[
      FeynCalc`Pair[
      FeynCalc`Momentum[$CellContext`k, D] - 
       FeynCalc`Momentum[$CellContext`q, D], 
       FeynCalc`Momentum[$CellContext`k, D] - 
       FeynCalc`Momentum[$CellContext`q, D]]],
     Editable->False]}]], TraditionalForm]], "Output",
 ImageSize->{119, 43},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"FeynAmpDenominatorSimplify",
 CellLabel->"Out[4]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"FeynAmpDenominatorSimplify", "[", 
  RowBox[{
   RowBox[{
    RowBox[{"f", "[", "k", "]"}], 
    RowBox[{"FAD", "[", 
     RowBox[{"k", ",", 
      RowBox[{"k", "-", "q"}], ",", 
      RowBox[{"k", "-", "q"}]}], "]"}]}], ",", "k"}], "]"}]], "Input",
 CellTags->"FeynAmpDenominatorSimplify",
 CellLabel->"In[5]:=",
 CellID->204796635],

Cell[BoxData[
 FormBox[
  FractionBox[
   RowBox[{"f", "(", 
    RowBox[{"q", "-", "k"}], ")"}], 
   RowBox[{
    SuperscriptBox[
     RowBox[{"(", 
      InterpretationBox[
       SuperscriptBox[
        FormBox[
         FormBox["k",
          TraditionalForm],
         TraditionalForm], "2"],
       SequenceForm[
        FeynCalc`Pair[
         FeynCalc`Momentum[$CellContext`k, D], 
         FeynCalc`Momentum[$CellContext`k, D]]],
       Editable->False], ")"}], "2"], ".", 
    InterpretationBox[
     SuperscriptBox[
      RowBox[{
       FormBox["\<\"(\"\>",
        TraditionalForm], 
       FormBox[
        FormBox[
         RowBox[{
          FormBox["k",
           TraditionalForm], "-", 
          FormBox["q",
           TraditionalForm]}],
         TraditionalForm],
        TraditionalForm], 
       FormBox["\<\")\"\>",
        TraditionalForm]}], "2"],
     SequenceForm[
      FeynCalc`Pair[
      FeynCalc`Momentum[$CellContext`k, D] - 
       FeynCalc`Momentum[$CellContext`q, D], 
       FeynCalc`Momentum[$CellContext`k, D] - 
       FeynCalc`Momentum[$CellContext`q, D]]],
     Editable->False]}]], TraditionalForm]], "Output",
 ImageSize->{119, 42},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"FeynAmpDenominatorSimplify",
 CellLabel->"Out[5]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"FeynAmpDenominatorSimplify", "[", 
  RowBox[{
   RowBox[{
    RowBox[{"FAD", "[", 
     RowBox[{
      RowBox[{"k", "-", 
       SubscriptBox["p", "1"]}], ",", 
      RowBox[{"k", "-", 
       SubscriptBox["p", "2"]}]}], "]"}], " ", 
    RowBox[{"SPD", "[", 
     RowBox[{"k", ",", "k"}], "]"}]}], ",", "k"}], "]"}]], "Input",
 CellTags->"FeynAmpDenominatorSimplify",
 CellLabel->"In[6]:=",
 CellID->1038515872],

Cell[BoxData[
 FormBox[
  FractionBox[
   RowBox[{
    RowBox[{"2", " ", 
     RowBox[{"(", 
      RowBox[{
       FormBox[
        FormBox["k",
         TraditionalForm],
        TraditionalForm], 
       FormBox["\<\"\[CenterDot]\"\>",
        TraditionalForm], 
       FormBox[
        SubscriptBox[
         FormBox[
          FormBox["p",
           TraditionalForm],
          TraditionalForm], 
         FormBox["2",
          TraditionalForm]],
        TraditionalForm]}], ")"}]}], "+", 
    SuperscriptBox[
     FormBox[
      FormBox["k",
       TraditionalForm],
      TraditionalForm], "2"], "+", 
    SuperscriptBox[
     FormBox[
      SubscriptBox[
       FormBox[
        FormBox["p",
         TraditionalForm],
        TraditionalForm], 
       FormBox["2",
        TraditionalForm]],
      TraditionalForm], "2"]}], 
   RowBox[{
    InterpretationBox[
     SuperscriptBox[
      FormBox[
       FormBox["k",
        TraditionalForm],
       TraditionalForm], "2"],
     SequenceForm[
      FeynCalc`Pair[
       FeynCalc`Momentum[$CellContext`k, D], 
       FeynCalc`Momentum[$CellContext`k, D]]],
     Editable->False], ".", 
    InterpretationBox[
     SuperscriptBox[
      RowBox[{
       FormBox["\<\"(\"\>",
        TraditionalForm], 
       FormBox[
        FormBox[
         RowBox[{
          FormBox["k",
           TraditionalForm], "-", 
          SubscriptBox[
           FormBox[
            FormBox["p",
             TraditionalForm],
            TraditionalForm], 
           FormBox["1",
            TraditionalForm]], "+", 
          SubscriptBox[
           FormBox[
            FormBox["p",
             TraditionalForm],
            TraditionalForm], 
           FormBox["2",
            TraditionalForm]]}],
         TraditionalForm],
        TraditionalForm], 
       FormBox["\<\")\"\>",
        TraditionalForm]}], "2"],
     SequenceForm[
      FeynCalc`Pair[FeynCalc`Momentum[$CellContext`k, D] - FeynCalc`Momentum[
        Subscript[$CellContext`p, 1], D] + FeynCalc`Momentum[
         Subscript[$CellContext`p, 2], D], 
       FeynCalc`Momentum[$CellContext`k, D] - FeynCalc`Momentum[
        Subscript[$CellContext`p, 1], D] + FeynCalc`Momentum[
         Subscript[$CellContext`p, 2], D]]],
     Editable->False]}]], TraditionalForm]], "Output",
 ImageSize->{149, 44},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"FeynAmpDenominatorSimplify",
 CellLabel->"Out[6]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"ApartFF", "[", 
  RowBox[{"%", ",", 
   RowBox[{"{", "k", "}"}]}], "]"}]], "Input",
 CellTags->"FeynAmpDenominatorSimplify",
 CellLabel->"In[7]:=",
 CellID->189899711],

Cell[BoxData[
 FormBox[
  FractionBox[
   RowBox[{
    RowBox[{"2", " ", 
     RowBox[{"(", 
      RowBox[{
       FormBox[
        FormBox["k",
         TraditionalForm],
        TraditionalForm], 
       FormBox["\<\"\[CenterDot]\"\>",
        TraditionalForm], 
       FormBox[
        SubscriptBox[
         FormBox[
          FormBox["p",
           TraditionalForm],
          TraditionalForm], 
         FormBox["2",
          TraditionalForm]],
        TraditionalForm]}], ")"}]}], "+", 
    SuperscriptBox[
     FormBox[
      SubscriptBox[
       FormBox[
        FormBox["p",
         TraditionalForm],
        TraditionalForm], 
       FormBox["2",
        TraditionalForm]],
      TraditionalForm], "2"]}], 
   RowBox[{
    InterpretationBox[
     SuperscriptBox[
      FormBox[
       FormBox["k",
        TraditionalForm],
       TraditionalForm], "2"],
     SequenceForm[
      FeynCalc`Pair[
       FeynCalc`Momentum[$CellContext`k, D], 
       FeynCalc`Momentum[$CellContext`k, D]]],
     Editable->False], ".", 
    InterpretationBox[
     SuperscriptBox[
      RowBox[{
       FormBox["\<\"(\"\>",
        TraditionalForm], 
       FormBox[
        FormBox[
         RowBox[{
          FormBox["k",
           TraditionalForm], "-", 
          SubscriptBox[
           FormBox[
            FormBox["p",
             TraditionalForm],
            TraditionalForm], 
           FormBox["1",
            TraditionalForm]], "+", 
          SubscriptBox[
           FormBox[
            FormBox["p",
             TraditionalForm],
            TraditionalForm], 
           FormBox["2",
            TraditionalForm]]}],
         TraditionalForm],
        TraditionalForm], 
       FormBox["\<\")\"\>",
        TraditionalForm]}], "2"],
     SequenceForm[
      FeynCalc`Pair[FeynCalc`Momentum[$CellContext`k, D] - FeynCalc`Momentum[
        Subscript[$CellContext`p, 1], D] + FeynCalc`Momentum[
         Subscript[$CellContext`p, 2], D], 
       FeynCalc`Momentum[$CellContext`k, D] - FeynCalc`Momentum[
        Subscript[$CellContext`p, 1], D] + FeynCalc`Momentum[
         Subscript[$CellContext`p, 2], D]]],
     Editable->False]}]], TraditionalForm]], "Output",
 ImageSize->{136, 44},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"FeynAmpDenominatorSimplify",
 CellLabel->"Out[7]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"TID", "[", 
   RowBox[{"%", ",", "k"}], "]"}], "//", "Factor2"}]], "Input",
 CellTags->"FeynAmpDenominatorSimplify",
 CellLabel->"In[8]:=",
 CellID->934998310],

Cell[BoxData[
 FormBox[
  FractionBox[
   RowBox[{
    FormBox[
     SubscriptBox[
      FormBox[
       FormBox["p",
        TraditionalForm],
       TraditionalForm], 
      FormBox["1",
       TraditionalForm]],
     TraditionalForm], 
    FormBox["\<\"\[CenterDot]\"\>",
     TraditionalForm], 
    FormBox[
     SubscriptBox[
      FormBox[
       FormBox["p",
        TraditionalForm],
       TraditionalForm], 
      FormBox["2",
       TraditionalForm]],
     TraditionalForm]}], 
   RowBox[{
    InterpretationBox[
     SuperscriptBox[
      FormBox[
       FormBox["k",
        TraditionalForm],
       TraditionalForm], "2"],
     SequenceForm[
      FeynCalc`Pair[
       FeynCalc`Momentum[$CellContext`k, D], 
       FeynCalc`Momentum[$CellContext`k, D]]],
     Editable->False], ".", 
    InterpretationBox[
     SuperscriptBox[
      RowBox[{
       FormBox["\<\"(\"\>",
        TraditionalForm], 
       FormBox[
        FormBox[
         RowBox[{
          FormBox["k",
           TraditionalForm], "-", 
          SubscriptBox[
           FormBox[
            FormBox["p",
             TraditionalForm],
            TraditionalForm], 
           FormBox["1",
            TraditionalForm]], "+", 
          SubscriptBox[
           FormBox[
            FormBox["p",
             TraditionalForm],
            TraditionalForm], 
           FormBox["2",
            TraditionalForm]]}],
         TraditionalForm],
        TraditionalForm], 
       FormBox["\<\")\"\>",
        TraditionalForm]}], "2"],
     SequenceForm[
      FeynCalc`Pair[FeynCalc`Momentum[$CellContext`k, D] - FeynCalc`Momentum[
        Subscript[$CellContext`p, 1], D] + FeynCalc`Momentum[
         Subscript[$CellContext`p, 2], D], 
       FeynCalc`Momentum[$CellContext`k, D] - FeynCalc`Momentum[
        Subscript[$CellContext`p, 1], D] + FeynCalc`Momentum[
         Subscript[$CellContext`p, 2], D]]],
     Editable->False]}]], TraditionalForm]], "Output",
 ImageSize->{136, 36},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"FeynAmpDenominatorSimplify",
 CellLabel->"Out[8]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"FDS", "[", 
  RowBox[{
   RowBox[{
    RowBox[{"FAD", "[", 
     RowBox[{
      RowBox[{"k", "-", "p1"}], ",", 
      RowBox[{"k", "-", "p2"}]}], "]"}], 
    RowBox[{
     RowBox[{"SPD", "[", 
      RowBox[{"k", ",", "OPEDelta"}], "]"}], "^", "2"}]}], ",", "k"}], 
  "]"}]], "Input",
 CellTags->"FeynAmpDenominatorSimplify",
 CellLabel->"In[9]:=",
 CellID->188914674],

Cell[BoxData[
 FormBox[
  FractionBox[
   SuperscriptBox[
    RowBox[{"(", 
     RowBox[{
      RowBox[{
       FormBox[
        FormBox["k",
         TraditionalForm],
        TraditionalForm], 
       FormBox["\<\"\[CenterDot]\"\>",
        TraditionalForm], 
       FormBox[
        FormBox["\[CapitalDelta]",
         TraditionalForm],
        TraditionalForm]}], "+", 
      RowBox[{
       FormBox[
        FormBox["\[CapitalDelta]",
         TraditionalForm],
        TraditionalForm], 
       FormBox["\<\"\[CenterDot]\"\>",
        TraditionalForm], 
       FormBox[
        FormBox["p2",
         TraditionalForm],
        TraditionalForm]}]}], ")"}], "2"], 
   RowBox[{
    InterpretationBox[
     SuperscriptBox[
      FormBox[
       FormBox["k",
        TraditionalForm],
       TraditionalForm], "2"],
     SequenceForm[
      FeynCalc`Pair[
       FeynCalc`Momentum[$CellContext`k, D], 
       FeynCalc`Momentum[$CellContext`k, D]]],
     Editable->False], ".", 
    InterpretationBox[
     SuperscriptBox[
      RowBox[{
       FormBox["\<\"(\"\>",
        TraditionalForm], 
       FormBox[
        FormBox[
         RowBox[{
          FormBox["k",
           TraditionalForm], "-", 
          FormBox["p1",
           TraditionalForm], "+", 
          FormBox["p2",
           TraditionalForm]}],
         TraditionalForm],
        TraditionalForm], 
       FormBox["\<\")\"\>",
        TraditionalForm]}], "2"],
     SequenceForm[
      FeynCalc`Pair[
      FeynCalc`Momentum[$CellContext`k, D] - 
       FeynCalc`Momentum[$CellContext`p1, D] + 
       FeynCalc`Momentum[$CellContext`p2, D], 
       FeynCalc`Momentum[$CellContext`k, D] - 
       FeynCalc`Momentum[$CellContext`p1, D] + 
       FeynCalc`Momentum[$CellContext`p2, D]]],
     Editable->False]}]], TraditionalForm]], "Output",
 ImageSize->{134, 43},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"FeynAmpDenominatorSimplify",
 CellLabel->"Out[9]="]
}, Open  ]]
}, Open  ]],

Cell["", "SectionFooterSpacer"]
}, Open  ]],

Cell[CellGroupData[{

Cell[TextData[{
 Cell[BoxData[
  InterpretationBox[
   StyleBox[
    GraphicsBox[{},
     BaselinePosition->Baseline,
     ImageSize->{6, 0}],
    CacheGraphics->False],
   Spacer[6]]]],
 "See Also"
}], "SeeAlsoSection",
 WholeCellGroupOpener->True,
 CellID->1255426704],

Cell[TextData[{
 StyleBox[ButtonBox["TID",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/TID",
  ButtonNote->"TID"],
  FontFamily->"Verdana"],
 "."
}], "SeeAlso"]
}, Open  ]],

Cell[" ", "FooterCell"]
},
Saveable->False,
ScreenStyleEnvironment->"Working",
WindowSize->{725, 750},
WindowMargins->{{-10, Automatic}, {Automatic, -8}},
WindowTitle->"FeynAmpDenominatorSimplify",
TaggingRules->{
 "ModificationHighlight" -> False, "ColorType" -> "SymbolColor", "LinkTrails" -> 
  GridBox[{{
      RowBox[{
        ButtonBox[
        "FeynCalc", ButtonData -> "paclet:FeynCalc/guide/FeynCalc", 
         BaseStyle -> {"Link", "DockedLinkTrail"}]}]}}, ColumnAlignments -> 
    Left], "HasOptions" -> False, "ExampleCounter" -> 1, "NeedPlatMsgIn" -> 
  None, "RootCaptions" -> "", 
  "Metadata" -> {
   "built" -> "{2020, 6, 20, 19, 6, 37.770175}", 
    "history" -> {"9.0", "", "", ""}, "context" -> "FeynCalc`", 
    "keywords" -> {}, "specialkeywords" -> {}, 
    "tutorialcollectionlinks" -> {}, "index" -> True, "label" -> 
    "Feyn Calc Symbol", "language" -> "en", "paclet" -> "FeynCalc", "status" -> 
    "None", "summary" -> 
    "FeynAmpDenominatorSimplify[exp] tries to simplify each \
PropagatorDenominator in a canonical way. FeynAmpDenominatorSimplify[exp, q1] \
simplifies all FeynAmpDenominator's in exp in a canonical way, including some \
translation of momenta. FeynAmpDenominatorSimplify[exp, q1, q2] additionally \
removes integrals with no mass scale.", "synonyms" -> {}, "tabletags" -> {}, 
    "title" -> "FeynAmpDenominatorSimplify", "titlemodifier" -> "", 
    "windowtitle" -> "FeynAmpDenominatorSimplify", "type" -> "Symbol", "uri" -> 
    "FeynCalc/ref/FeynAmpDenominatorSimplify"}, "SearchTextTranslated" -> 
  ""},
CellContext->"Global`",
FrontEndVersion->"10.4 for Linux x86 (64-bit) (April 11, 2016)",
StyleDefinitions->Notebook[{
   Cell[
    StyleData[
    StyleDefinitions -> FrontEnd`FileName[{"Wolfram"}, "Reference.nb"]]], 
   Cell[
    StyleData["Input"], CellContext -> "Global`"], 
   Cell[
    StyleData["Output"], CellContext -> "Global`"]}, Visible -> False, 
  FrontEndVersion -> "10.4 for Linux x86 (64-bit) (April 11, 2016)", 
  StyleDefinitions -> "Default.nb"]
]
(* End of Notebook Content *)

(* Internal cache information *)
(*CellTagsOutline
CellTagsIndex->{
 "PrimaryExamplesSection"->{
  Cell[5596, 169, 388, 15, 31, "PrimaryExamplesSection",
   CellTags->"PrimaryExamplesSection",
   CellID->1112302457]},
 "FeynAmpDenominatorSimplify"->{
  Cell[6230, 198, 113, 3, 27, "Input",
   CellTags->"FeynAmpDenominatorSimplify",
   CellID->792645925],
  Cell[6346, 203, 233, 6, 37, "Output",
   CellTags->"FeynAmpDenominatorSimplify"],
  Cell[7011, 229, 297, 9, 27, "Input",
   CellTags->"FeynAmpDenominatorSimplify",
   CellID->50583569],
  Cell[7311, 240, 207, 6, 35, "Output",
   CellTags->"FeynAmpDenominatorSimplify"],
  Cell[7986, 270, 347, 11, 27, "Input",
   CellTags->"FeynAmpDenominatorSimplify",
   CellID->1115628449],
  Cell[8336, 283, 1654, 55, 62, "Output",
   CellTags->"FeynAmpDenominatorSimplify"],
  Cell[10027, 343, 279, 8, 27, "Input",
   CellTags->"FeynAmpDenominatorSimplify",
   CellID->1440416368],
  Cell[10309, 353, 1253, 44, 64, "Output",
   CellTags->"FeynAmpDenominatorSimplify"],
  Cell[11599, 402, 357, 11, 27, "Input",
   CellTags->"FeynAmpDenominatorSimplify",
   CellID->204796635],
  Cell[11959, 415, 1307, 46, 63, "Output",
   CellTags->"FeynAmpDenominatorSimplify"],
  Cell[13303, 466, 435, 14, 27, "Input",
   CellTags->"FeynAmpDenominatorSimplify",
   CellID->1038515872],
  Cell[13741, 482, 2445, 89, 65, "Output",
   CellTags->"FeynAmpDenominatorSimplify"],
  Cell[16223, 576, 191, 6, 27, "Input",
   CellTags->"FeynAmpDenominatorSimplify",
   CellID->189899711],
  Cell[16417, 584, 2331, 84, 65, "Output",
   CellTags->"FeynAmpDenominatorSimplify"],
  Cell[18785, 673, 194, 6, 27, "Input",
   CellTags->"FeynAmpDenominatorSimplify",
   CellID->934998310],
  Cell[18982, 681, 2099, 76, 57, "Output",
   CellTags->"FeynAmpDenominatorSimplify"],
  Cell[21118, 762, 391, 14, 27, "Input",
   CellTags->"FeynAmpDenominatorSimplify",
   CellID->188914674],
  Cell[21512, 778, 1962, 71, 64, "Output",
   CellTags->"FeynAmpDenominatorSimplify"]}
 }
*)
(*CellTagsIndex
CellTagsIndex->{
 {"PrimaryExamplesSection", 26184, 932},
 {"FeynAmpDenominatorSimplify", 26338, 936}
 }
*)
(*NotebookFileOutline
Notebook[{
Cell[598, 21, 3089, 76, 53, "AnchorBarGrid",
 CellID->1],
Cell[3690, 99, 303, 11, 45, "ObjectNameGrid"],
Cell[CellGroupData[{
Cell[4018, 114, 662, 16, 119, "Usage",
 CellID->982511436],
Cell[CellGroupData[{
Cell[4705, 134, 739, 24, 31, "NotesSection",
 CellGroupingRules->{"SectionGrouping", 50},
 CellID->2063312335],
Cell[5447, 160, 31, 0, 70, "SectionHeaderSpacer"],
Cell[5481, 162, 66, 1, 70, "Notes",
 CellID->1067943069]
}, Closed]]
}, Open  ]],
Cell[CellGroupData[{
Cell[5596, 169, 388, 15, 31, "PrimaryExamplesSection",
 CellTags->"PrimaryExamplesSection",
 CellID->1112302457],
Cell[CellGroupData[{
Cell[6009, 188, 196, 6, 26, "ExampleSection",
 CellID->1414576502],
Cell[CellGroupData[{
Cell[6230, 198, 113, 3, 27, "Input",
 CellTags->"FeynAmpDenominatorSimplify",
 CellID->792645925],
Cell[6346, 203, 233, 6, 37, "Output",
 CellTags->"FeynAmpDenominatorSimplify"]
}, Open  ]],
Cell[6594, 212, 392, 13, 40, "Notes"],
Cell[CellGroupData[{
Cell[7011, 229, 297, 9, 27, "Input",
 CellTags->"FeynAmpDenominatorSimplify",
 CellID->50583569],
Cell[7311, 240, 207, 6, 35, "Output",
 CellTags->"FeynAmpDenominatorSimplify"]
}, Open  ]],
Cell[7533, 249, 428, 17, 40, "Notes"],
Cell[CellGroupData[{
Cell[7986, 270, 347, 11, 27, "Input",
 CellTags->"FeynAmpDenominatorSimplify",
 CellID->1115628449],
Cell[8336, 283, 1654, 55, 62, "Output",
 CellTags->"FeynAmpDenominatorSimplify"]
}, Open  ]],
Cell[CellGroupData[{
Cell[10027, 343, 279, 8, 27, "Input",
 CellTags->"FeynAmpDenominatorSimplify",
 CellID->1440416368],
Cell[10309, 353, 1253, 44, 64, "Output",
 CellTags->"FeynAmpDenominatorSimplify"]
}, Open  ]],
Cell[CellGroupData[{
Cell[11599, 402, 357, 11, 27, "Input",
 CellTags->"FeynAmpDenominatorSimplify",
 CellID->204796635],
Cell[11959, 415, 1307, 46, 63, "Output",
 CellTags->"FeynAmpDenominatorSimplify"]
}, Open  ]],
Cell[CellGroupData[{
Cell[13303, 466, 435, 14, 27, "Input",
 CellTags->"FeynAmpDenominatorSimplify",
 CellID->1038515872],
Cell[13741, 482, 2445, 89, 65, "Output",
 CellTags->"FeynAmpDenominatorSimplify"]
}, Open  ]],
Cell[CellGroupData[{
Cell[16223, 576, 191, 6, 27, "Input",
 CellTags->"FeynAmpDenominatorSimplify",
 CellID->189899711],
Cell[16417, 584, 2331, 84, 65, "Output",
 CellTags->"FeynAmpDenominatorSimplify"]
}, Open  ]],
Cell[CellGroupData[{
Cell[18785, 673, 194, 6, 27, "Input",
 CellTags->"FeynAmpDenominatorSimplify",
 CellID->934998310],
Cell[18982, 681, 2099, 76, 57, "Output",
 CellTags->"FeynAmpDenominatorSimplify"]
}, Open  ]],
Cell[CellGroupData[{
Cell[21118, 762, 391, 14, 27, "Input",
 CellTags->"FeynAmpDenominatorSimplify",
 CellID->188914674],
Cell[21512, 778, 1962, 71, 64, "Output",
 CellTags->"FeynAmpDenominatorSimplify"]
}, Open  ]]
}, Open  ]],
Cell[23501, 853, 31, 0, 29, "SectionFooterSpacer"]
}, Open  ]],
Cell[CellGroupData[{
Cell[23569, 858, 270, 12, 31, "SeeAlsoSection",
 CellID->1255426704],
Cell[23842, 872, 172, 7, 56, "SeeAlso"]
}, Open  ]],
Cell[24029, 882, 23, 0, 41, "FooterCell"]
}
]
*)

(* End of internal cache information *)

